机译:分支时间逻辑ECTL#及其树式单通大妙域的Tableau:扩展Ectl +的公平性表达
机译:一阶分支时间时间逻辑的公理化
机译:一阶量化对分支和线性时间时间逻辑中的状态的影响
机译:用于整合一阶和基本集合理论推理的Tableau微积分
机译:有界线性演算:基于有界线性逻辑的多项式时间可计算函数的表征
机译:羚羊:用于分支时间布尔GRN分析的混合逻辑模型检查器
机译:基于Tableau的完全联盟多智能体分支时间的时间 - 认知逻辑的决策程序
机译:模型检查分支时间时间逻辑CTL